1. Satisfiability problem
Author: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
Classification :
QA9
.
3
.
S38
1997
2. Satisfiability problem :
Author: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
Classification :
QA9
.
3
.
S38
1997
